ZPiE: Zero-Knowledge Proofs in Embedded Systems

Zero-Knowledge Proofs (ZKPs) are cryptographic primitives allowing a party to prove another that the former knows some information while keeping it secret. Such premise can lead development of numerous privacy-preserving protocols in different scenarios, like proving knowledge credentials server without leaking identity user. Even when applications ZKPs were endless, they not exploited wild for couple decades due fact computing and verifying proofs was too computationally expensive. However, advent efficient schemes (in particular, zk-SNARKs) made this primitive break into scene fields cryptocurrencies, smart-contracts, more recently, self-sovereign scenarios: private-by-design management authentication. Nevertheless, its adoption environments Internet Things (IoT) remains unexplored computational limitations embedded systems. In paper, we introduce ZPiE, C library intended create ZKP be executed Its main feature is portability: compiled, executed, used out-of-the-box wide variety devices. Moreover, our proof-of-concept has been proved work smoothly devices with limited resources, which execute state-of-the-art authentication protocols.